Рефлексивное замыкание
Рефлексивное замыкание
Формулировка:
$Cl_R(\rho)$ — рефлексивное замыкание $\rho$ $$Cl_R(\rho) = \rho \cup \Delta$$ $$M_{Cl_R(\rho)} = M_{\rho} \lor E$$
Формулировка:
$Cl_R(\rho)$ — рефлексивное замыкание $\rho$ $$Cl_R(\rho) = \rho \cup \Delta$$ $$M_{Cl_R(\rho)} = M_{\rho} \lor E$$